perm filename AMTT9.360[360,GF] blob sn#799952 filedate 1985-07-31 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T  E"ah∞B 5⊂αT@U⊂αT@UλβT 0λ↓T 0λ↓T 0λ↓T@λα∀@λα∀@λα∀0_↓T0_↓S`@_α∪`@_α∪`@_α∪`@_α∪@@(α∪ATpεSATpεS @8α∪ @8α∪ @8α∩A⊂_∧RA⊂_∧RA⊂_∧RA⊂_∧Q(D⊂
¬#1Xβi!λ%∧I!⊂&A`0&Ap(&A↓ &A↓ &Ap(&A`0&CiPp&CIPx&Ap(&A↓(&A↓(&A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓(&A↓(&Ap(%∧i!⊂%∧)!"Qλ1_
Fc00β@`4xπ∪"∧hλ∪p⊂∧∪P0β∩``0β∩`P@αR@PHαR@PPα∩@PPα∩@DPα∩@DPα∩@DPα∩@PPα∩@PPα∩@PPα∩`PHα∩``8αSP0αSp_β∪!dhεSa%βQ(D 
E#1Xβi!λ%∧I!⊂&AP8&Ap0&A↓(&A↓(&A↓⊂(&A↓⊂(&A↓⊂(&A↓  &A↓  &A↓  &A↓  &A↓  &A↓  &A↓⊂(&A↓⊂(&A↓⊂ &A↓(&Ap0&Ap(&AP8%∧I!λ%∧	 x"QλQ(εc0	RBDP
∩BDhαα Dhαα Dhαα Dhαα@$hα∪ @(↓∪ @ α∪ @ α∪!Dhε∪!Dhε∪ @ α∪ @ α∪ @(↓∪ @X↓∪ @Pα∪ @Pα∪ @Pα∪ @Pα∩BTP
RBTP
⊃(D0
¬#1X∧i! %¬	! &A↓⊂ &A↓⊂ &A↓⊂ &A↓ ⊂&A	P α@IP α↓	P α↓	P`&C	P`&C	P α↓	P α↓	P α@IP &A	P &A	P %αi X%αi X"Qλq εc00β`4pπ∪!t`λ∪p⊂βR``(β∩`P8αR`P8αR@PHα∩@PHα∩@TPα∩@DPα∩@DPα↓A$Pα↓A$PαA!$PαA!$PαB DXαBDXαBDXβ↓@T`β@@t`λ∪!tpπ∀`_↓⊃(D@Ec1Xα@0P%α@0P%α@0P%α@0P&A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &D)Qλ&D)Qλ&A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ %α@0P%α@0P%α@0P%α@0P"Q	⊃
εc0λ∩B∧Pλ∩B¬α∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀DPλ∩B∧Pλ∩B∧("∩B!(
F```(β
`(β
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A	0_βA	 (β↓	 (β↓	 (α↓I x%C)@X'↓hT %E"aX
@↓⊂ ∧∩A⊂ ∧∩A⊂ ∧∩A⊂ ∧∪ 08↓S 00↓S 00↓S 0(↓S 0 ↓S 0 ↓S 0_↓S 0⊂↓S 0λα∪ 0λαS!∀hα@@4hα`4hα↓4h↓A 4h↓A@4h↓A@4h↓A`4h↓A`4h↓B4P∧A↓∧P∧A↓∧P∧A↓∧P∧A↓∧("∪αQ0
F`X%αi X%αiP &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A↓0⊂&A↓  &A↓  &A↓  &A↓  %¬)!(%¬)! "Q	Q8Fc0βB tPβB tPβB tPβB t`↓@  8↓ 4`↓@  8↓ 4`↓@  8↓ 4`↓@ 00↓ 4`↓@ 00↓ 4`↓@@ (↓@ 4`↓@@0 ↓@4`↓@@0 ↓@4`↓@@0 ↓@4`↓@`  ↓@4`↓@`0⊂↓@@4`↓@`0⊂↓@@4`↓@`0⊂↓`4`↓A0λ↓`4`↓A0λ↓`4`↓A`_↓S0 αA4`↓A @ ↓S0(α↓4`↓C 4PβB tPβB tPβB tPβB t("∪BQ0
F`0βα) 8αB) 8αB) @αα)P(β@iP(β@iP_@@`_&@`⊂⊂βiP_↓@P_&@` ⊂α@iP_↓@P_&@`0⊂αiP_↓@@@_&@`0⊂αiP_α@0_&@`@⊂↓@iP_α@0_&@`P⊂↓iP_α@@ _&@`P⊂↓iP_β@⊂_&@``⊂@iP_βA)P_βA) Hα↓) HαA	 HαA	 HβhT 'DbQX
A↓4`πRb∀XλR``(β∩@PHαR@PHαR@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@PHαR@PHαR``(β∩b∀XλS↓tp¬Q(E
¬#1X∧	!λ%∧I!_&A`0&A↓(&A↓(&A↓⊂ &A↓⊂ &A↓⊂ &A↓(&A↓(&A`0&D	Px&CIPh&A	P &A	P &A	P &A	 P%αI P%αHT (DbR⊂
A↓4`πRb∀XλR``(β∩@PHαR@PHαR@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@(↓↓DPα↓@_α∩@@ α`DPα↓P⊂α∩@P α TPαA↓$Xβa∧XλRb∀`πSAU8α∃`U@α⊗UHα⊗ EP↓⊃(E⊂Ec1XβI!%∧)!⊂&AP0&Ap(&Ap(&A↓ &A↓ &Ap(&Ap(&AP0&CiPp&C)Ph&AP &AP &AP(&A` &A` &A` ↓↓	P β↓  &A`(A	 P↓BI P↓BI Pαα	 PαA(T )DbQX
A!_↓∪"∧`λRb$PβA tPβαTPαB@DPαα`DPαB@DPαB`$PβRa$`ε∪!Txε∀a∃0β∩` XαR@@PαR@@Xα∩@@Xα∩@@PαR@P@β∩@p βRB$PλRB∧X↓a∧("∃αA0
F`⊃⊂%¬	! %¬	  α↓@ %↓@ α↓	  α↓@ %@@P α@J  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓	``'β	``'βλT *EbqX
@↓ _¬∩A _¬∩A _¬∩A _¬∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ P8αS P8αS@P(αS@`_β∪aTxεT↓5⊂βQ(E0Ec1Xα PH%α PH%α PH%α PH&A↓⊂ &A↓⊂ '↓p '↓p '↓p '↓p 'A`_'AP 'AP 'A @ (↓@_(↓@_(↓@_(↓   (A _(A _(A _(A ⊂_)↓⊂⊂)↓⊂⊂)↓j 8)A*0("Q
q8Fc0βα`dPβα`dPβα`dPβ↓@_β∪0(α↓4`↓A @ ↓S0(α↓4`↓AP ↓S0 β`4`↓A`_↓S0 ↓ 0_↓S 0_↓@ ⊂↓S 0_↓@ ⊂↓S 0⊂↓@@ ⊂↓S 0⊂↓@@ ⊂↓S 0⊂↓@@ ⊂↓S 0⊂↓@@ ⊂↓S@ ⊂↓@@ ⊂↓∪@ ⊂↓@@ ⊂↓∪@ ⊂↓` ⊂↓∪@ ⊂↓` ⊂↓∪@ ⊂↓` ⊂↓∪@ ⊂↓`0λ↓∪@`_β∪`P α∪`@(α∪`@(α∪`@(α⊃(E@
EC1XB0@%B0@%B0@%B0@'A0 'A0 (↓⊂ (↓⊂ (@`⊂_(Aj⊂8)↓* ()↓* ((Aj⊂8(↓⊂ (↓⊂ (`0_'A0 'A0 '↓P '↓P %α 0H%α 0H%α 0H%α 0H"Q⊃(εc0∧@a∀P∧@a∀P∧@a∀P∧@a∀pα↓ Dpα↓ Dpα↓ Dxα`Dxα`E↓@`5α Eα Eλ↓@ 5λβT@U⊂αT@U_α∀`E_α∀`E_α∀`E_α∀↓∃∧T↓∃∧Q(EP	E#1X↓∧	1⊂%DI1λ%A↓(%Ap(%Ap &@p(*A
@()A*0 )↓*⊂((A
((↓	p('↓)` ∧IP(βA	@(∧↓	@ ∧A	0(∧A	1⊂%∧i!_%D(T 0Eαa_	A↓∧`ε∩adXπ∩`P β∪00αU@Eλ∧S!T`π∩a_α∩@`0α∩@P8α∩@@@α∩@P8α∩@` β∩B4X	Sα$hβA D("_Ba0
F`@%α	 @%α	` '↓	` '↓	` ↓↓i`x'∧	a'↓`08'↓ p('↓!('↓↓⊂('↓↓  '↓↓  '↓↓  '↓↓  '↓!('↓!('↓@`('↓`08'∧	`x'βIp⊂↓AhT 1D"1_	AA∧p¬S!T`π∩a⊂αR``(↓R@dPαR@DPα∩@DPα∩@TXα∩`P@↓∪`(α∪!dpε∪a%λβQ(F ¬c1X¬α
@@*α
@@,↓ ,↓ 'A`  'βIPx&∧	08↓Ai0(βA) (∧↓) (∧A	  ¬↓	  ¬↓	  ¬↓	  ¬↓	 (∧↓) (∧↓)0(β↓I08↓α	A &¬	`HB	p8↓αλT 2DBA_	A!∧p¬S!T`πR`p_β∩`P0β∩@P@αR@P@αRB$P	∩B$P	∩@TXα∩`PH↓∪P0αS!tpεSa5∧⊃(F0	∧c1X¬↓j0H)αJ⊂X(A ⊂((A0_(A
⊂ %Ci!λ%∧)0x(A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ %D	1%D	1"Qq(π"00β@@Txλ∪B∀h	∪`_∧SP(αS@8α∪@8α∪@8α∪P(αS`_β∪!T`εS↓D`¬ST`π∪α∀`	∩b4PβαtPαB`TPαβ DPαβ DPβα dP∧↓!∧X	Sα∀hπT↓∀("~αq8
F`@%α	 @%α	` '↓	` '↓	` ↓↓I`p'βI`x'↓` 0'↓ P('↓ ` '↓p '↓p '↓p '↓p '↓p '↓p '↓p '↓p '↓p %α@0P%α@0P%α@0P%α@0P"Q
⊃λ
εc08↓TUαTUλ↓Q`$P¬RA4P¬RA5λα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ DPλRB∀PλRB∀("~A0x∩F`p_(↓*((↓*⊂_#@I0P%BI0P%BJ⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A	0_↓↓) (A) P%αI0@&↓(T 5EBqX
@tPβR@tPβS@4p↓S@4p↓S@0 ¬S@0 ¬S@0 ¬S@0 ¬S@00↓S@0(↓S@0 ↓S@0_↓S@0λα∪A∀pα@@4pα↓4p↓A 4p↓A@4p↓A`4p↓B4P¬@A∀P¬@A∀P¬@A∀P¬@A∀("≠α!(
F`X%αi X%αj⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A	!⊂%∧I!⊂%∧HT 6E"a_	@↓ ⊂αRB$P	RB4`α@ `λα∪@_α`4`α`@_↓S0 ↓A4`↓A0 ↓S0 ↓A4`↓A0 ↓S0 ↓A4`↓A0 ↓S0 ↓A4`↓A0 ↓S0 ↓A4Pβ@P⊂β∩@`⊂α@@dPβ@P⊂β∩@`⊂α@@d("≠Bq8	D`@↓↓I!⊂%∧I!_'↓` 0'↓ P('↓ ` '↓p '↓p '↓p '↓p '↓p '↓p '↓p '↓p '↓p %α@0P%α@0P%α@0P%α@0P"Q
q⊂
∧b0(∧∪A$hε∪↓dXβ@@tXαA@TPαBTPαBTPαα@DPαα@DPαα@DPαα@DPαBTPαBTXαA@TXβ@@t`π∪!Dp¬∪a∧("≤αa0∞D`@↓↓i!_%¬	! '↓`08'↓ p('↓!('↓↓⊂('↓↓  '↓↓  '↓↓  '↓↓  '↓!('↓!('↓@`('↓`08'∧	`x'βI` ↓↓i` '↓	` '↓	` '↓	 `%β	 `%βλT 8Ec↓h	A@p_↓∪Athλ∪α∀X∧`tXβ↓@dPβαTPαB TPαα`DPαα`DPαα`DPαα`DPαB TPαB TXαA`dXβ@a∧`λS"∧p¬ Dxβ@`EHα⊗ EHα⊗ EHα⊗ E(ε∃!E(ε∃!D("≤BQ0	D`H↓Ai HBI!(%¬)pH↓↓)p8α@ip0'A)p('A	p 'A	p 'A	p 'A	 x%βi x%βhT 9D"A_	Ap⊂↓∪↓dXπRB∧Pβ↓dPαA`DPαA`DPβ↓`$Pε∩aT`π∩` λε∩@@0βR@@@αR@@@αR@` βRB∀Pλ∩AtX↓@t("≥α1 F `⊂'A	p 'A	p 'A	1%∧I!⊂%D	p 'A	p 'A	p 'A	p β@Ip β↓	p β↓	p β↓	p β↓	p(α↓)pp'C*X(BλT :Ebq_	@↓_∧∩A_∧∩A_∧∩A_∧∪@@8α∪@@8α∪@@8α∪@@8α∪@@8α∪@@8α∪@@8α∪@@8α∪@@8α∪@@8α∪@@0αS@P β∪B4p	Sb%∧!∧("≥BA(	D`@αα	 @αα	 @αα	 @αα	P_∧i`_βi`_βi`_βip_αip_αip_αip ↓@j_↓j_↓j @j⊂_@J⊂0(AJ  )↓λT ;E"a_	@`Hβ∩@`Hβ∩@` ↓@@dPβ`@⊂β∪0 α`4`↓A@_↓S0_α@`4`↓@``⊂↓S0_↓ 0⊂↓S 0⊂↓@ λ↓S 0⊂↓@ λ↓S 0λ↓@@ λ↓S 0λ↓@@ λ↓S 0λ↓@@ λ↓S@ λ↓@@ λ↓∪@ λ↓` λ↓∪@P_αS@P_αS@P_αS@P_αQ(G@
¬"1_α@@%α@@%α@@%α@@'@`@_'@`@_(` _(AJ⊂0)↓
  (AJ⊂0(` _'@`@_'@`@_%α@@%α@@%α@@%α@@"Q∂⊃ 
G"0∧↓↓∧P∧↓↓∧P∧↓↓∧P∧↓↓∧hα↓`4p↓A@4p↓A@4x↓A 4x↓A4x↓A5↓@`5↓@`5↓@@5λ↓@ 5λ↓@ 5⊂↓ %⊂αT@U_↓T`5_↓T@5⊂↓S0_↓R`Pλ↓Ra∀X∧∩`tXβ∪D("≡BA(	D`0x&∧)Aλ&∧	@ β↓)@ αA)P⊂αA*0()↓*⊂((A
('A)`(∧IP(∧↓	@(∧A	1_%¬	! %DHT ¬αQX
@α4P
∩BDP
∪ @Hα∪ @Hα∪ @Hα∪ @P↓∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∩A4P¬RA4P¬Q(@λ
EC1X∧@j ()↓*⊂8(Aj⊂8(α* A
 A	p(A)p ↓A	p ↓A	`(↓A)` αA	` αA	P(αA)P βA	P βA	@(βA)@ ∧A	@ ∧A	0(∧A)0 ¬A	0 ¬A	!(%¬)!(%DhT ↓∧bQX
A↓4`πRb∀XλR``(β∩@PHαR@PHαR@@Xα∩@@Xα∩@@_↓  _α∩@@⊂β@@DPα@p⊂α∩@@⊂β@@DPα@p⊂α∩@@⊂β@@DPα@p⊂α∩@@⊂β@@DPα@p⊂α∩@@_↓  _α∩@@Xα∩@@Xα∩@PHαR@PHαR``(β∩b∀XλS↓tp¬Q(@_EcQh¬j0()A*0()A* 8)`⊂_)`⊂_)`⊂_(A⊂ (A⊂ (A⊂ (@`0_(@`0_(↓0 (↓0 (↓0 (↓0 'AP 'AP 'AP 'AP 'AP '↓p '↓p '↓p %α@0P%α@0P%α@0P%α@0P"QA_
G#@λλRB4P	RB4P	R@@Xα∩` h↓⊃`4h↓α $`πS↓t`πS↓t`πS  H↓⊃`DX↓β $Pαα`DP	RB4P	RB4XλQ(@(Ec1X¬i!8%¬i!8&A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ %α PH%α PH%α PH%α PH"Qa_
Fc0λλRB4P	Rb$XαB D`αα D`αBDhαα $hαS@DpαS`DxαTEα∪`Txα∪@Tpα∪ Thαα $`αBD`αα DXαB DX	∩B4P	Rb∀("↓b!(∞π0_βi@(α↓)00α↓I @↓α	 @↓α	  B⊂ %↓ 0↓↓	  ↓↓@  (↓J0(A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A	`P'αI`P'αHT ∧¬αaX
A!$x¬∪a$x¬∀↓∧pε∪!d`λ∩b$Xβ @λβ∩@P_α`TPα@`@_αR@@ α↓DPα↓@ α∩@@ α↓DPα↓@ α∩@P_α`TPα@`@_αR``λα dX	∪α∧hπ∪AE∧∪a$x¬∪a$x¬⊃(@H
¬C1XαBIpP'BIpP%@@P α@I  α↓@ %↓@ α↓	 (↓A0(%A0 ↓A	0 ↓A0 %A0 ↓A	0 ↓A0 %A0 ↓A	0 ↓A0 %A0 ↓A	0(↓↓ (&↓  ↓↓	@(A⊂(&A⊂ A	Pp'β	pP(α
⊂0'BIpP'BIpP"Q↓!_
Fc00βSA4`πRb∀Xβ@`tPβ↓`dPαB TPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαB TXαα DXαα DXαα DXαA`T`α↓`D`α↓`D`α↓`D`αA TXβ↓ dPβA tP∧a∧P∧a∧P∧a∧Xβ↓ d("αQ0
F`p8'Bi`h&Ci@8↓Ai@0αAI00βAI0(∧A)0 ¬A	 (¬A) (¬A)  εA	  εA	  εA	  εA	  εA	  εA	 (¬A) (¬A)0 ¬A	0(∧A)00βAI@0αAI@8↓AiPx'β)pX(AhT _Cb1X
A`%α∀DxαS@dX∧RA$P¬∩`@λα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀DXπ∩adXπ∩ad("B1(
F`P@&C)@x%D) 0αB	 (∧↓I (∧A) (¬↓	 (¬↓	0_¬A(,↓ +A*`(*A*@()AJ 0(A*(α@I`0αA	P0β↓	@0βA	1⊂%∧i!_%D(T →DbQX
A!∧hε∪↓dXλ∩`` βR`P8αR`P@α∪0Hα∃`U0β∃tx¬Sa$x¬SaE(βU`e@αV DX↓B`DPαB@DPαB TPαBdPβAtXλ∪↓thε∪a∧("
αA(
Fa@ *A*P(*@⊂_)@`⊂_)@@ _)` _(@`0_(@@@_(`@_'@`P_'@`P_'``_&@`p_&@`p_&a_%@a⊂_%@a⊂_%∧i! %¬	!_+@jp_)Bj0X)Bj0X"QεQ_
Fc0λπRb∧Xλ∩atXα∩`DXα∩`DXα∩`DXα!∧XπRb∧XλR``(β∩`@@β∩`0PαV EHα∩`0Xα∩@PHαR@PHαR@P@β∩@p βRb∧`π∪!Dx∧⊃(C0
EC1X∧α
X'C)`x&A`@(&↓@`(&↓ p(%A!⊂_%A) (↓B	 (Bi  C)!_%α @8%↓a(%↓A (%↓A (%↓!@ %↓!@ %↓!@ %A! (%A! (&↓!(&↓`@8&D	`p'C
⊂@"Qεq_
Gβ@λ↓∩B$P	RB4P	∩@@@αR@@@α∩@@8αR` @α∃U α∀`U_α∀@U⊂α∀ Uλα∀ EαTEα∀DxαS`Dxα∪`Dxα∪`E↓⊃(C@	E#1XαB)Ph&βi1λ%↓`P8%↓!⊂(%↓!⊂(%↓↓0 %↓!⊂(%↓@p0%A`08&βiPh&C)@x%A`08%↓@p0%↓!⊂(%↓↓0 %↓↓0 %↓↓0 %↓!⊂(%↓@p0%A`08%D)@x&C)pH"Qπ⊃(εc00∧∪ADhπ∪α∧XβAtXβ↓@dPαB@TPαB@TPαβDPαβTPαβTPαβ DPαB`TPβα dXαBtXβA↓∀`	S"$p¬@ Tx∧@UHαS 0@β∪P0β∪P βS↓t`π∪!Dx∧⊃(B 	E$1x∧@J  )↓
  (↓iP`&βI1%D) 0↓↓ (%↓ 0 ↓↓)  α↓ (%↓ 0 ↓↓) (↓A0_%↓`⊂ %Bi@h&C)p`)αJ X%@`@ ↓↓) (↓A (%↓ 0 ↓A	 (↓A0 %↓ 0 ↓↓)0 ↓A⊂0%A@⊂P&∧	Pp'β
@)↓
  )↓
0⊂"Q∧a0Fc00α∪`dxβSA∧p∧∪@0⊂↓S@0⊂↓S@0⊂↓S@0λα!∀p∧!∀p∧!∀pβ@A∀pβ↓ 4hβ↓ D`βA DX∧↓DP¬`DPα@ @⊂α∩@@_α DPαa∀Pα↓tPα↓`_↓R@P_β`4Pα@Aλα∩b4X	S↓⊂βS `(α⊃(@xλEβ1λ∧j⊂((A*⊂()hp_)J⊂ (A
⊂ (A
((↓)p(&AI@0%AI 0β@i (βA)  ∧↓) 0β↓)!%CI@`'α(T ∨D"AX
A↓∀hε∪↓dXλ∩@P0β∩@P@α∩@P8αR`08β∃e_β∀@eλαTUαTEα∀Eα∀ $8↓T 5αTUαT 4("∧α⊃ 	D`X%αi X%αj⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A	!λ%∧)!λ%∧(T λBaqh	@!$X¬∩a$X¬∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∩`0⊂αR@PλαRA$P¬∩a∧`αQ(AH
EC1X∧α
`'CIa'↓@@0'↓↓ '↓p('↓P8%α⊂P%α⊂H%α⊂@%α⊂H'↓@8'↓`0'↓p('↓↓('↓↓('↓↓('↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓('↓p0'↓P8%¬	!_%∧) x"Qβ!(∧b0_β`d`∧!∧X	Rb4Xα@ pλαS0_α@`U⊂α@`U⊂α↓ DpλSα4X
∩BTPβ@ DPα↓TPα↓P(↓∩@P⊂β@`DP
Rb4X∧@@t`β↓ T("εbQ0	D`@(α↓)P8↓↓iA⊂%Di0(B⊂(%↓ 00↓↓) (↓A@ (%↓P α↓	  αC	  αC	  αC	  αC	  αA	 (↓AI (↓A@@⊂%A ⊂@↓↓	1 &∧IP8↓↓i`(αAλT ∞∧bQxD%Hα⊗ E@αVE8αT↓4pε∪!T`πR`p⊂∧∩`P ∧∩@P ¬∩@@(α@DP↓A P_↓R@0(α↓4P↓AP ↓R@0_αA 4Pα@@(α∩A  αRa αRa⊂βS↓thεS!D`¬R`TXα∩@TPα∩@DX↓⊃(BλαCC1X@i (%↓) (%↓) (%↓) (%↓) (%A	0 %A	0 %A	0 %A	0 %A	@⊂#@I0_%↓) (%↓)0_"Q∧1(εc08↓↓@%α↓Eα↓Eα↓Eα↓Eα↓Eα`TX	RBTP
Rb4xα↓Dxα↓Dxα`Tpα@`Dpα↓DX	RBTP
Rb4pα`Thα@`Dhα↓Dhα↓Dhα↓Dhα↓Dhα↓Dp↓↓@$("	"Q0⊃G` (∧I08β↓	08β↓	 Hα↓)  A@ %↓⊂ α↓	 _↓@`0(%`0_↓A	  A0 %↓⊂ ↓↓) H↓↓	08↓A	08↓↓)@(↓A
@ )A*0 )↓*  )↓
⊂((A
⊂ (↓ 0((↓08(↓08'A  H'A0 A	p ↓@`0_'↓ 0_↓@i` α`0_'↓@ A	P(αα)P β↓iP β↓i`⊂∧↓(T ∪Aap`
@@4XαR`dXβ∪Thα∪ D`αSDXαR@TPα∩`$("
↓A_⊃Ga⊂⊂)↓
0'AIp('↓)P(&↓)@ &↓	0(%A	0 %↓)  %↓	  %↓	  %↓	  %↓	 (%A	0 %A)@ &↓	@(&A)`('A)p0(↓J  )@HT ∀Cαα_∂@ $Pα∩@dXβ∪ThαS@TxαTEα∀Uλα∀ EλαT@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀ Uλα∀ EαTEα∪`TpαS T`αR`dPβ∩@DX↓⊃(BPλEα!8β@j⊂_(@j⊂_%`@_αi _α`@_%↓ 0λ↓A)@ ↓   '`⊂λ@j((↓)`_@ ⊂_%↓@ λ↓↓I (↓@ 0(%`@_αj⊂_(@j⊂_(@hT ∃DbQ_B %⊂α∀@E⊂α∀@E⊂α∀@E⊂α∩b∀P	RB4XλT@E⊂α∀@E⊂α∀@E⊂α∀@E_↓⊃(B`βCa⊂ ↓i0(%AI00&↓)@(%A) 0%↓)0_"Q¬`(π↓@λ↓R@TPαR@TX↓Q(Bx	E$1xλK⊂ ,A(,↓
p(+A
`(+↓
P(*A
@(*↓
0()A
 ()↓
  (A*⊂ (↓* 'A)p '↓)` &A)P &↓)@ %A)0 %↓)  %↓	0⊂"Qπ (π∧b0λ↓R@TPαR@TX↓Qa∀X↓R@TPαR@TX↓Q(CXββC↓_↓i0(%A)0(&hpH&i0(%A)0(&↓	@ %A) (%↓	0⊂"Q↓`(πεb⊂λ↓R@TPαR@TX↓Q`$`↓∩`DXα∩`DXα∩`DXα∩`DXα∩`DPαR@TPαR@TPαR@TPαR@TPαR`4("∂"1(¬D`⊃λ%∧i!_%D(p_%D)!_%∧i1λ"Qλ↓_
Fc08βT↓$pεS!thβ`d`α@a∧Xα@A4Xαa4XαADPα`Pλβ∩@@⊂α↓ DP↓@`@(α∩@0_↓A`4P↓@`08↓R@0_↓A`4P↓@`08↓R@0_α↓ DPα@@(α∩@@_α@ TXαA4Xαa∀Xα@A∀`α@`Pλ↓S ` β∪"∧pπT↓Eλ∧⊃(EXε¬$1xBI `%β	 X%↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %αi `%β	0P"QP`πλcpλ¬∩ADPε∩a5⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@DX¬RADPε∩a$("_pxεπ@@⊂&A	@(%A)0 %↓)  %↓	 (%↓I 0%A)@_"Qα PπAc0λ↓∩@TPβ∩`t`βS@dxαT $("∧a!⊂βF`p⊂'A)`0&↓i08%↓I (%@HT 
βb00@  H↓∩@P(αR@pλβRaT`¬S@u↓Q(A(λEqX@A0⊂%↓↓⊂ %↓↓⊂ %↓@P0%Ci@h&Bip8"Qαaλ
c⊂λπRB∀PλRat("¬`pxαF` _%@ 0λ%@0⊂%@0⊂%@ 0λ&hT α"⊂`↓@`$`α∪D`αSdhβ∪`Dxα∪@TXβR@tPβ∩`D("↔Aq_βε``_'↓iPH%C) 8Ai (αA)0_β@hT ?βb0(
@`@(↓∪p⊂α∩adPπ∩@@⊂βR` (α⊃(GxεD@AX@`P_%↓ 0(%↓ 0(%↓ 0(%@`P_"QβQ8Fc0(λ∪b∀xλSb∃λβAEλβAE∧↓E∧↓ %∧∀↓λ↓∀↓Dxα!∧xα!∧xα!∧xα!∧pαA∧pαA∧pπ∪A λ↓∪A 0↓∪!0(α∪ @_α↓ Dhα`@(α∪ @_α↓ DPβ@AdPβ@AdPβ@AdPβ@AT("πBa8
F`A&∧i1 %E	 0α↓0 %↓ P ↓A	  β↓0 %↓` αI  β↓	  β↓⊂⊂%↓`@%↓`@%↓`@%↓`@%↓`@%↓`@%↓`@%↓`@%↓` @I  β↓P⊂%↓` α↓	  β↓@ %↓ P α↓	 0α↓@ %E)1(&¬	aλ"Qβq_
Hcph↓∃@E0α∃ Tp¬S↓tXλRb∀Xβa∧PαA!∀PαA↓$Pα↓ @⊂α∩@@(α@DPα↓ @⊂α∩@@ α@@DPα↓@_α∩@@ α`DPα`P_α∩@@_α↓DPα`@ α∩@@_α↓DPα@P α∩@@⊂α↓ DPα@@(α∩@@⊂α↓ DP¬↓TP∧A TX∧`dXλRb∀`πSA4hαS Dhα∪@$("!q_↓C`⊂h%βi x%C(T ε∧BQX
B%λα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∩`@⊂α@DPβ @λβ∩B$Xλ∪A$x∧∀eλα∀ E⊂↓⊃(@X	¬#1X∧J⊂ (A
0'B	`P%D	!⊂%↓@⊂ AI0 ↓↓  (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
 ⊂"QπA_
Ec⊃↓⊗U8β∃ u βT@uλβS`tpβStXβR@dPβ∩`t`βS@txβT u⊂βUu(βU`e@αV@$("∂B1(F ⊂⊂%↓) 0%Ai@8'↓ip8(Aj 8*↓jP8+AJp0*Aj@8)↓j⊂8'Ai`8&↓i08%↓I (%@HT .∧bR_∂@ $Pα∩@DPαR`DXαSD`αS DhαS@DpαS`DxαTEαT Eλα∀ U⊂α∀@U_α∀`U α∃U(α∃ U0α∃@U8α∃`U@α⊗UHα⊗ EP↓⊃(GX	¬$1xπjP8)B* H(B
⊂((A
⊂ (A
⊂ (A
⊂ (A
⊂ (↓)P@%B) H%α)0H&B
((A
⊂ (A
⊂ (A
⊂ (A
⊂ (A*⊂@)α*0H*Ak_"Q∂Q⊂
Hcpλ↓R@tP∧Ra∀h∧∀Uλα∀ Eλα∀ Eλα∀ Eλα∀ EλαT!¬⊂∧Ta∃_∧TA∃λ∧∀ Uλα∀ Eλα∀ Eλα∀ Eλα∀ EαS!∧X∧RA∀PβR`4("∨@p⊃G`⊂⊂%↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %@HT_¬x␈␈␈␈x⊂↓(␈␈␈␈X␈␈␈␈pD)!_%∧i1λ"Q∧ h	βC0λ↓A 4Pα@`TPα@`TPα@`TPα@`TPα@`TPα@`TPα@`TPα@`TPα@`TPα@`TPα@`TPα@`TPα@`TX↓A 4("β Ppπε`⊂_%↓) (%↓) (%↓) (%↓) (%↓) (%↓) (%↓)0_"Q∧↓(∧!0↓C`4P↓C`4P↓C`4P↓C`4P↓C`4P↓C`4P↓C`4P↓C`4P↓C`4P↓C`4P↓C`4P↓C`4P↓C`4P↓C`4P↓C`4P
RBTP
Q?
⊂ H¬0ipGpα>gα>gβ∂x␈␈}`β␈0 F@3→@λ}d⊂↓ε03O=H1@αf0∂h{⊃β∧→L`+/0"F@3→@p>d0↓ε03⊂∂=Hq@αf0'λ{∩β∧→L`Z/0$F@3→@↓P>dP↓ε03_@=I1@αf0<8{∪β∧→L`↓πO0&F@3→@α!>dp↓ε03( =Iq@αf0]8{∀β∧→L`↓Go0(F@3→@β#}e⊂↓ε038π=J1@αf0wX{∃β∧→L`↓{∂0*F@3→@∧	}e0↓ε03@K=Jq@αf0↓⊂({⊗β∧→L`α7o0,F@3→@¬	>eP↓ε03P?=L⊃@αf0↓,x{_C∧→L`αb∂01F@3→@¬Z}f ↓ε03XQ=LQ@αf0↓?x{→C∧→L`βπ/03F@3→@ε∨>f@↓ε03`n=M⊃@αf0↓Sh{~C∧→L`β/∂05F@3→@εr}f`↓ε03p_=MQ@αf0↓fx{≠C∧→L`β\∂07F@3→@πL>g↓ε03x<=N⊃@αf0↓⎇8{≤C∧→L`∧π∂09F@3→@λ≠}g ↓ε03↓Z=NQ@αf0α∂X{≥C∧→L`∧)O0;F@3→@λf}g@↓ε03↓⊂∂=O⊃@αf0α&H{≡C∧→L`∧Z∂0ε@3→@	B}`λ↓ε03↓_)=@!@αf0α;_{c∧→L`¬ε/0αε@3→@
)>`(↓ε03↓ s=@a@αf0αU({↓c∧→L`¬4O0∧ε@3→@
}}`H↓ε03↓01=A!@αf0αmh{β∧→L`¬iO0_F@3→@l}c⊂↓ε03↓8z=F1@αf0β∧8{
β∧→L`ε∪∂0~F@3→@=>c0↓ε03↓H#=Fq@αf0β~H{∞β∧→L`ε>/0≤F@3→@
∀>b ↓ε03↓PY=Da@αf0β3λ{βc∧→L`εto0∨F@3→@
y}a↓ε03↓`∀=B⊃@αf0βE8{ε#∧→L`π∪o0
ε@3→@∞A>aX↓ε03↓h*=CA@αf0βZx{λ#∧→L`πC/0⊃F@3→@∂∃>b(↓ε03↓p↑=Dq@αf0βu8{
β∧→L`πo∂0∀F@3→@∂q}bP↓ε03α=E1@αf0∧ε8{β∧→L`λ∩o0↔ε@3→@⊂,>bx↓ε03αa=G!@αf0∧⊃λ{∞c∧→L`λ%o0πε@3→@⊂U>ch↓ε03αλH=H↓@αf0∧~H{⊗c∧→L`λDo0.F@3→@⊃≥>f↓ε03α⊂b=B!@αf0∧.({∧c∧→L`λ←O0
ε@3→@⊃D}a(↓ε03α_↔=Ba@αf0∧4h{¬c∧→L`λkO0ε@3→@⊃]}ep↓ε03α_L=Oa@αf0∧;_{∨c∧→L`λyo0∞F@3→@⊃z>ap↓ε03α ,=Cq@αf0∧M({#∧→L`	-∂0εε@3→@∩]}`X↓ε03α(←=GA@αf0∧`({∂C∧→L`	GO0.ε@3→@∪≤}gX↓ε03α0a=OQ@αf0∧qλ{∨β∧→L`	l∂0/F@3→@∪k}b⊂↓ε03α8h⎇AQ@αf0¬↓ {λβ∧→L`
π∨H¬λ⊂Aw{⎇xow{⎇x